118 research outputs found

    Юрий Александрович Карпенко

    Get PDF
    Филология Украины понесла тяжелую утрату. Редколлегия журнала "Логос ономастики" с глубоким прискорбием извещает читателей о том, что 10 декабря 2009 года на 81 году жизни скончался выдающийся ученый, член-корреспондент Национальной Академии наук Украины, доктор филологических наук, профессор Одесского национального университета Юрий Александрович Карпенко

    Generating hints and feedback for Hilbert-style axiomatic proofs

    Get PDF

    How teachers would help students to improve their code

    Get PDF

    The generic HASKELL user's guide : version 0.99 - Amber release

    Get PDF
    Software development often consists of designing datatypes around which functionality is added. Some functionality is datatype specific, whereas other functionality is defined on almost all datatypes in such a way that it depends only on the structure of the datatype. A function that works on many datatypes in this way is called a generic (or polytypic) function. Examples of generic functionality include storing a value in a database, editing a value, comparing two values for equality, and pretty-printing a value. Since datatypes often change and new datatypes are introduced, we have developed Generic HASKELL which supports generic definitions to save the programmer from (re)writing instances of generic functions. Generic HASKELL extends the functional programming language Haskell [5] with, among other things, a construct for defining type-indexed values with kind-indexed types, based on recent work by Hinze [2]. These values can be specialised to all Haskell datatypes, facilitating wider application of generic programming than provided by earlier systems such as PolyP [4]

    Combined inner and outer loop feedback in an intelligent tutoring system for statistics in higher education

    Get PDF
    Intelligent tutoring systems (ITSs) can provide inner loop feedback about steps within tasks, and outer loop feedback about performance on multiple tasks.While research typically addresses these feedback types separately, many ITSs offer them simultaneously. This study evaluates the effects of providing combined inner and outer loop feedback on social sciences students' learning process and performance in a first-year university statistics course. In a 2 x 2 factorial design (elaborate inner loop vs. minimal inner loop and outer loop vs. no outer loop feedback) with 521 participants, the effects of both feedback types and their combination were assessed through multiple linear regression models. Results showed mixed effects, depending on students' prior knowledge and experience, and no overall effects on course performance. Students tended to use outer loop feedback less when also receiving elaborate inner loop feedback. We therefore recommend introducing feedback types one by one and offering them for substantial periods of time

    Ask-Elle:an Adaptable Programming Tutor for Haskell Giving Automated Feedback

    Get PDF
    Ask-Elle is a tutor for learning the higher-order, strongly-typed functional programming language Haskell. It supports the stepwise development of Haskell programs by verifying the correctness of incomplete programs, and by providing hints. Programming exercises are added to Ask-Elle by providing a task description for the exercise, one or more model solutions, and properties that a solution should satisfy. The properties and model solutions can be annotated with feedback messages, and the amount of flexibility that is allowed in student solutions can be adjusted. The main contribution of our work is the design of a tutor that combines (1) the incremental development of different solutions in various forms to a programming exercise with (2) automated feedback and (3) teacher-specified programming exercises, solutions, and properties. The main functionality is obtained by means of strategy-based model tracing and property-based testing. We have tested the feasibility of our approach in several experiments, in which we analyse both intermediate and final student solutions to programming exercises, amongst others

    Enhancing Free-text Interactions in a Communication Skills Learning Environment

    Get PDF
    Learning environments frequently use gamification to enhance user interactions.Virtual characters with whom players engage in simulated conversations often employ prescripted dialogues; however, free user inputs enable deeper immersion and higher-order cognition. In our learning environment, experts developed a scripted scenario as a sequence of potential actions, and we explore possibilities for enhancing interactions by enabling users to type free inputs that are matched to the pre-scripted statements using Natural Language Processing techniques. In this paper, we introduce a clustering mechanism that provides recommendations for fine-tuning the pre-scripted answers in order to better match user inputs

    К всеобщим свойствам экономического пространства: науковедческий анализ

    Get PDF
    Определяются всеобщие свойства экономического пространства. Сделана попытка осмыслить современные тенденции в развитии экономической науки. Рассматриваются общие проблемы состояния и развития мировой экономики, ее глобализации.Визначено загальні властивості економічного простору. Зроблено спробу осмислити сучасні тенденції у поступі економічної науки. Розглядаються загальні проблеми стану та розвитку світової економіки, її глобалізації.The paper outlines general features of an economic area. A try is made to rethink latest tendencies in the stride of economic science. Also, broad problems related with the performance and globalization of worldwide economics are discussed
    corecore